A centralized and a decentralized method to automatically derive choreography-conforming web service systems

A centralized and a decentralized method to automatically derive choreography-conforming web service systems

Improving the Automatic Derivation of Choreography-conforming Web Services Systems

We present DIEGO 2.0, a new version of our tool DIEGO. Given a WS-CDL choreography, it automatically extracts a set of WS-BPEL web services such that, if these services interact with each other, they necessarily produce the behavior defined in the choreography even if the natural projection does not work. This is achieved by introducing some control messages which make services coordinate as ex...

Web Service Choreography Verification Using Z Formal Specification

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

A Mediated Approach Towards Web Service Choreography

The notion of Choreography is intended to describe how to consume Web Services, i.e. making use of their functionality. Two approaches are currently discussed for Choreography description: the individual view approach and the common view approach. This paper argues that these are complementary and presents an approach for combing both views, including the concept of mediation for resolving poss...

Centralized Clustering Method To Increase Accuracy In Ontology Matching Systems

Ontology is the main infrastructure of the Semantic Web which provides facilities for integration, searching and sharing of information on the web. Development of ontologies as the basis of semantic web and their heterogeneities have led to the existence of ontology matching. By emerging large-scale ontologies in real domain, the ontology matching systems faced with some problem like memory con...